Algebraic K-theory of spaces stratified fibered over hyperbolic orbifolds.

Among other results, we rationally calculate the algebraic K-theory of any discrete cocompact subgroup of a Lie group G, where G is either O(n, 1), U(n, 1), Sp(n, 1), or F(4), in terms of the homology of the double coset space Gamma\G/K, where K is a maximal cocompact subgroup of G. We obtain the formula K(n)(ZGamma) [unk] [unk] congruent with [unk](i=0) (infinity)H(i)(Gamma\G/K; [unk](n-i)), where [unk](j) is a stratified system of Q vector spaces over Gamma\G/K and the vector space [unk](j)(GammagK) corresponding to the double coset GammagK is isomorphic to K(J)(Z(Gamma [unk] gKg(-1))) [unk] Q. Note Gamma [unk] gKg(-1) is a finite subgroup of Gamma. Earlier, a similar formula for discrete cocompact subgroups Gamma of the group of rigid motions of Euclidean space was conjectured by F. T. Farrell and W. C. Hsiang and proven by F. Quinn.